" Anna Philippou" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

Tools and algorithms for the construction and analysis of systems 15th international conference, TACAS 2009, held as part of the Joint European Conferences on Theory and Practice of Software, EAuthor: Stefan Kowalewski; Anna Philippou

Автор: Stefan Kowalewski, Автор: Anna Philippou

Размер книги: 7.35 Mb

Tools and Algorithms for the Construction and Analysis of Systems, 15 conf., TACAS 2009

Автор: Stefan Kowalewski, Автор: Anna Philippou

Категория: Cs_Computer science, CsLn_Lecture notes

Размер книги: 5.19 Mb